Definable Conditionals

Definable Representations of Definable C Groups

Let G be a compact affine definable C group and let r be∞ or ω. We prove that the representative definable C functions on G is dense in the space of continuous functions on G. Moreover we compare the category of compact affine definable C groups D with that of compact real algebraic groups A.

Conditionals and Pseudo-Conditionals in Mathematical Texts

Conditionals are the basic ingredient of a mathematical argument. We present an analysis of conditionals and pseudo-conditional in mathematical discourse, and then propose a computational framework for the (re-)construction and semantic representation of conditional dependencies.

Chinese Conditionals and the Theory of Conditionals*

As is well known, in conditionals and, more generally, in structures involving adverbs of quantification, indefinite NPs like a cat display a variable quantificational force. Within DRT this phenomenon is analyzed by assimilating indefinites to variables. Unlike other variable-like elements, however, indefinites cannot be anaphoric to some thing else. That is, one cannot say things like "a cat ...

Classifying Conditionals

Definable norms and definable types over Banach spaces

A central question in Banach space theory has been to identify the class of Banach spaces that contain almost isometric copies of the classical sequence spaces `p and c0. Banach space theory entered a new era in the mid 1970’s, when B. Tsirelson [34] constructed the first space not containing isomorphic copies any of the classical sequence spaces. Tsirelson’s space has been called “the first tr...